Hadwiger Integration of Definable Functions
نویسندگان
چکیده
HADWIGER INTEGRATION OF DEFINABLE FUNCTIONS Matthew L. Wright Robert Ghrist, Advisor This thesis defines and classifies valuations on definable functionals. The intrinsic volumes are valuations on “tame” subsets of R, and by easy extension, valuations on functionals on R with finitely many level sets, each a “tame” subset of R. We extend these valuations, which we call Hadwiger integrals, to definable functionals on R, and present some important properties of the valuations. With the appropriate topologies on the set of definable functionals, we obtain dual classification theorems for general valuations on such functionals. We also explore integral transforms, convergence results, and applications of the Hadwiger integrals.
منابع مشابه
Euler integration and Euler multiplication
By Euler integration we mean the integration of definable functions on R against the Euler characteristic. We investigate the structure of the ring of all definable functions (with compact support respectively), the multiplication being defined by the convolution with respect to the Euler integration.
متن کاملEuler integration over definable functions.
We extend the theory of Euler integration from the class of constructible functions to that of "tame" R-valued functions (definable with respect to an o-minimal structure). The corresponding integral operator has some unusual defects (it is not a linear operator); however, it has a compelling Morse-theoretic interpretation. In addition, it is an advantageous setting in which to integrate in app...
متن کاملZeta Functions from Definable Equivalence Relations
We prove that the theory of the p-adics Qp, together with a set of explicitly given sorts, admits elimination of imaginaries. Using p-adic integration, we deduce the rationality of certain formal zeta functions arising from definable equivalence relations. As an application, we prove rationality results for zeta functions obtained by counting isomorphism classes of irreducible representations o...
متن کاملDefinable Morse Functions in a Real Closed Field
Let X be a definably compact definable C manifold and 2 ≤ r < ∞. We prove that the set of definable Morse functions is open and dense in the set of definable C functions on X with respect to the definable C topology.
متن کامل